From 76bcb27fda3ded6aba8a5249a817f52aa66ec14c Mon Sep 17 00:00:00 2001
From: Miles Bader <miles@gnu.org>
Date: Fri, 27 Jul 2007 10:42:55 +0000
Subject: [PATCH] Add arch tagline

---
 man/gpl.texi | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/man/gpl.texi b/man/gpl.texi
index 1908d1f8f98..5b416d3cb41 100644
--- a/man/gpl.texi
+++ b/man/gpl.texi
@@ -715,3 +715,7 @@ library, you may consider it more useful to permit linking proprietary
 applications with the library.  If this is what you want to do, use
 the GNU Lesser General Public License instead of this License.  But
 first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}.
+
+@ignore
+   arch-tag: 0c4a2556-f87e-464f-9b1d-efd920fcaf67
+@end ignore
-- 
2.30.2